📼 Tape Combinators

Sequential Programming Models, Linear Processing, Magnetic Computation, Storage Abstractions

Learning ON Large Datasets Using Bit-String Trees
arxiv.org·17h
🗂️Vector Databases
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·7h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·4h·
Discuss: DEV
🔲Cellular Automata
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Teaching programming languages
kmjn.org·1d
💻Programming languages
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·3h·
Discuss: Hacker News
🦀Rust Macros
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·6h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Paradigms of Intelligence Team
github.com·8h·
Discuss: Hacker News
🔲Cellular Automata
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·17h
🎯Performance Proofs
Computer Architecture Lessons from the Kitchen
sigarch.org·1d
🧮Algorithmic Cooking
Explanation of the Linux-Kernel Memory Consistency Model
raw.githubusercontent.com·2d·
Discuss: Lobsters, Hacker News, r/programming
⚡Cache Coherence
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·1d·
Discuss: Substack
🔗Topological Sorting
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·17h
🧠Machine Learning
The Lazy Genius Inside Your Chatbot: Meet MoD, the Art of Thinking Less but Smarter
dev.to·3h·
Discuss: DEV
🧠Intelligence Compression
Notes on Autograd
aschrein.github.io·1d·
Discuss: Hacker News
⚡Incremental Computation
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·8h·
Discuss: Hacker News
⚔️Lean Tactics
Das Problem mit German Strings
polarsignals.com·42m·
Discuss: Lobsters, Hacker News
✅Format Verification
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·7h
📐Geometric Hashing
Sound and Solution-Complete CCBS
arxiv.org·1d
🛡️Archive Verification